modus ponens y modus tollens
- modus ponens y modus tollens
(latín: "modo afirmativo y "modo negativo).
En
lógica, dos tipos de inferencia que es posible derivar a partir de una proposición condicional –i.e., de una proposición de la forma "Si p, entonces q (simbólicalmente, p ⊃ q). El
modus ponens se refiere a inferencias de la forma p ⊃ q; p, por lo tanto q. El
modus tollens se refiere a inferencias de la forma p ⊃ q; ¬q, por lo tanto, ¬p. Ejemplo de
modus tollens es el siguiente: "Si un ángulo se inscribe en un semicírculo, entonces es un ángulo recto; este ángulo no es recto; por lo tanto, no se inscribe en un semicírculo.
Enciclopedia Universal.
2012.
Mira otros diccionarios:
modus ponens and modus tollens — (Latin: method of affirming and method of denying ) In logic, two types of inference that can be drawn using a hypothetical proposition i. e., from a proposition of the form If p, then q (symbolically p ⊃ q). Modus ponens refers to inferences of… … Universalium
Modus Tollens — (lat. für: Modus des Aufhebens, wörtlich: aufhebender Modus), eigentlich Modus tollendo tollens (in Abgrenzung zum Modus ponendo tollens) ist eine Schlussfigur, die auch in etlichen Kalkülen der klassischen Logik als Schlussregel verwendet wird.… … Deutsch Wikipedia
Modus tollens — (lat. für: Modus des Aufhebens, wörtlich: aufhebender Modus), eigentlich Modus tollendo tollens (in Abgrenzung zum Modus ponendo tollens) ist eine Schlussfigur, die auch in etlichen Kalkülen der klassischen Logik als Schlussregel verwendet wird.… … Deutsch Wikipedia
Modus tollens — Modus tollens рассуждение от противного (латинское «modus tollendo tollens» означает «путь исключения исключений»). Форма записи: . Например, золотая монета, сминаема зубами, тогда modus tollens: среди всех объектов, не сминаемых зубами,… … Википедия
modus tollens — [mɔdystɔlɛ̃s] n. m. ÉTYM. Loc. lat., littéralement « mode qui supprime ». ❖ ♦ Log. Règle de déduction selon laquelle, si une proposition A implique une proposition B, on peut déduire, B n étant pas vraie, que A ne l est pas non plus. || Le modus… … Encyclopédie Universelle
Modus tollens — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Modus tollens — Proposition contraposée La contraposition (ou modus tollens) est un type de raisonnement logique consistant à affirmer une implication (« si A alors B ») et à poser ensuite la négation du conséquent (« or, non B ») pour en… … Wikipédia en Français
modus tollens — noun A valid form of argument in which the consequent of a conditional proposition is denied, thus implying the denial of the antecedent. Modus tollens has this form: 1. If P, then Q. See Also: modus ponens … Wiktionary
Modus Tollens — Grundregel der Logik: Wenn gilt „aus A folgt B“ und „B ist falsch“, dann gilt auch „A ist falsch“. M.T. findet bei ⇡ wissensbasierten Systemen bisher kaum Verwendung. Vgl. auch ⇡ Modus Ponens … Lexikon der Economics
Modus tollendo tollens — Modus tollens (lat. für: Modus des Aufhebens, wörtlich: aufhebender Modus), eigentlich Modus tollendo tollens (in Abgrenzung zum Modus ponendo tollens) ist eine Schlussfigur, die auch in etlichen Kalkülen der klassischen Logik als Schlussregel… … Deutsch Wikipedia
